[next] [prev] [prev-tail] [tail] [up]

2.2.5 Integrals 401 to 500

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 401

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

156 160 141 0 0 0 0 0 0

N.S.

1 1.03 0.90 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.474 0.409 0.000 0.000 0.000 0.000 0.000 0.000

Problem 402

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

229 234 188 0 0 0 0 0 0

N.S.

1 1.02 0.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.766 1.942 0.000 0.000 0.000 0.000 0.000 0.000

Problem 403

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 153 135 100 105 97 286 122 175

N.S.

1 1.02 0.90 0.67 0.70 0.65 1.91 0.81 1.17

time (sec)

N/A 0.587 0.196 3.052 0.194 0.274 0.671 0.313 17.245

Problem 404

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

128 127 89 90 94 86 238 107 154

N.S.

1 0.99 0.70 0.70 0.73 0.67 1.86 0.84 1.20

time (sec)

N/A 0.499 0.119 2.934 0.200 0.265 0.483 0.305 17.379

Problem 405

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 119 78 80 84 75 216 92 115

N.S.

1 1.04 0.68 0.70 0.74 0.66 1.89 0.81 1.01

time (sec)

N/A 0.472 0.087 2.571 0.206 0.261 0.344 0.297 14.309

Problem 406

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 93 89 69 69 64 168 77 115

N.S.

1 1.01 0.97 0.75 0.75 0.70 1.83 0.84 1.25

time (sec)

N/A 0.388 0.089 2.679 0.203 0.256 0.241 0.286 18.031

Problem 407

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 81 73 57 57 53 144 62 75

N.S.

1 1.07 0.96 0.75 0.75 0.70 1.89 0.82 0.99

time (sec)

N/A 0.387 0.084 2.678 0.208 0.254 0.182 0.278 14.194

Problem 408

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 55 57 44 46 42 92 47 55

N.S.

1 1.02 1.06 0.81 0.85 0.78 1.70 0.87 1.02

time (sec)

N/A 0.306 0.043 1.812 0.203 0.252 0.116 0.292 14.051

Problem 409

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 35 32 34 29 66 31 31

N.S.

1 1.00 0.92 0.84 0.89 0.76 1.74 0.82 0.82

time (sec)

N/A 0.198 0.066 0.802 0.197 0.249 0.087 0.288 14.373

Problem 410

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 26 16 15 17 17 15 17

N.S.

1 1.00 1.73 1.07 1.00 1.13 1.13 1.00 1.13

time (sec)

N/A 0.145 0.018 0.583 0.183 0.252 0.054 0.268 13.692

Problem 411

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 29 28 36 49 43 57

N.S.

1 1.00 1.00 1.81 1.75 2.25 3.06 2.69 3.56

time (sec)

N/A 0.227 0.004 1.315 0.189 0.274 2.525 0.287 13.888

Problem 412

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 24 30 38 60 0 63 47

N.S.

1 1.00 1.00 1.25 1.58 2.50 0.00 2.62 1.96

time (sec)

N/A 0.297 0.006 2.211 0.213 0.284 0.000 0.296 13.814

Problem 413

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 48 47 47 58 74 0 105 81

N.S.

1 1.02 1.00 1.00 1.23 1.57 0.00 2.23 1.72

time (sec)

N/A 0.375 0.008 2.986 0.199 0.271 0.000 0.295 14.658

Problem 414

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 64 60 60 70 88 0 122 111

N.S.

1 1.02 0.95 0.95 1.11 1.40 0.00 1.94 1.76

time (sec)

N/A 0.403 0.117 3.061 0.199 0.289 0.000 0.296 16.442

Problem 415

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 90 59 73 95 99 0 164 150

N.S.

1 1.06 0.69 0.86 1.12 1.16 0.00 1.93 1.76

time (sec)

N/A 0.502 0.151 3.071 0.201 0.286 0.000 0.291 16.755

Problem 416

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 102 94 83 107 110 0 178 180

N.S.

1 1.01 0.93 0.82 1.06 1.09 0.00 1.76 1.78

time (sec)

N/A 0.517 0.225 3.284 0.205 0.298 0.000 0.302 17.205

Problem 417

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 131 123 112 120 110 343 127 143

N.S.

1 0.87 0.82 0.75 0.80 0.73 2.29 0.85 0.95

time (sec)

N/A 0.561 0.275 3.465 0.289 0.268 0.370 0.287 14.390

Problem 418

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 113 85 95 94 86 221 102 117

N.S.

1 1.02 0.77 0.86 0.85 0.77 1.99 0.92 1.05

time (sec)

N/A 0.513 0.152 3.874 0.203 0.269 0.250 0.292 14.089

Problem 419

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 93 86 75 82 77 211 82 93

N.S.

1 0.92 0.85 0.74 0.81 0.76 2.09 0.81 0.92

time (sec)

N/A 0.454 0.170 2.718 0.207 0.259 0.182 0.293 14.965

Problem 420

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 76 59 61 60 52 107 60 72

N.S.

1 1.07 0.83 0.86 0.85 0.73 1.51 0.85 1.01

time (sec)

N/A 0.308 0.275 1.945 0.197 0.257 0.116 0.275 14.685

Problem 421

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 50 46 43 44 40 78 43 42

N.S.

1 1.00 0.92 0.86 0.88 0.80 1.56 0.86 0.84

time (sec)

N/A 0.198 0.114 0.954 0.197 0.249 0.090 0.273 14.409

Problem 422

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 46 43 42 52 0 78 73

N.S.

1 1.00 1.39 1.30 1.27 1.58 0.00 2.36 2.21

time (sec)

N/A 0.344 0.023 1.521 0.203 0.280 0.000 0.307 14.450

Problem 423

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 32 43 48 74 0 77 181

N.S.

1 1.00 0.97 1.30 1.45 2.24 0.00 2.33 5.48

time (sec)

N/A 0.329 0.063 2.367 0.195 0.260 0.000 0.295 14.686

Problem 424

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 59 67 69 87 93 0 127 99

N.S.

1 1.00 1.14 1.17 1.47 1.58 0.00 2.15 1.68

time (sec)

N/A 0.429 0.008 3.077 0.191 0.263 0.000 0.302 15.289

Problem 425

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 87 71 74 84 100 0 178 141

N.S.

1 1.09 0.89 0.92 1.05 1.25 0.00 2.22 1.76

time (sec)

N/A 0.546 0.156 4.016 0.190 0.274 0.000 0.305 17.132

Problem 426

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 102 82 111 144 133 0 258 184

N.S.

1 0.93 0.75 1.01 1.31 1.21 0.00 2.35 1.67

time (sec)

N/A 0.574 0.198 3.764 0.211 0.259 0.000 0.321 18.044

Problem 427

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 128 90 110 132 136 0 272 221

N.S.

1 0.95 0.67 0.81 0.98 1.01 0.00 2.01 1.64

time (sec)

N/A 0.675 0.394 4.334 0.201 0.281 0.000 0.330 18.544

Problem 428

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

170 173 159 135 145 132 393 150 380

N.S.

1 1.02 0.94 0.79 0.85 0.78 2.31 0.88 2.24

time (sec)

N/A 0.849 0.518 4.427 0.220 0.267 0.367 0.299 15.875

Problem 429

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 189 130 113 119 110 284 124 319

N.S.

1 1.05 0.72 0.63 0.66 0.61 1.58 0.69 1.77

time (sec)

N/A 0.695 0.426 3.545 0.208 0.264 0.260 0.312 15.867

Problem 430

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 129 100 102 95 84 233 96 279

N.S.

1 1.07 0.83 0.84 0.79 0.69 1.93 0.79 2.31

time (sec)

N/A 0.461 0.345 2.627 0.290 0.271 0.179 0.292 16.293

Problem 431

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 93 80 67 72 66 128 72 77

N.S.

1 1.22 1.05 0.88 0.95 0.87 1.68 0.95 1.01

time (sec)

N/A 0.325 0.185 2.005 0.199 0.273 0.126 0.291 14.439

Problem 432

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 74 105 73 69 72 0 137 123

N.S.

1 1.01 1.44 1.00 0.95 0.99 0.00 1.88 1.68

time (sec)

N/A 0.538 0.389 1.570 0.223 0.272 0.000 0.310 14.793

Problem 433

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 69 88 57 66 94 0 129 97

N.S.

1 1.01 1.29 0.84 0.97 1.38 0.00 1.90 1.43

time (sec)

N/A 0.536 0.533 2.686 0.203 0.272 0.000 0.305 14.828

Problem 434

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 80 55 82 101 112 0 143 136

N.S.

1 1.01 0.70 1.04 1.28 1.42 0.00 1.81 1.72

time (sec)

N/A 0.564 0.125 3.592 0.191 0.271 0.000 0.314 14.491

Problem 435

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 115 70 96 113 126 0 205 157

N.S.

1 1.06 0.64 0.88 1.04 1.16 0.00 1.88 1.44

time (sec)

N/A 0.724 0.182 4.371 0.227 0.266 0.000 0.310 16.338

Problem 436

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 130 90 125 158 140 0 330 224

N.S.

1 0.98 0.68 0.94 1.19 1.05 0.00 2.48 1.68

time (sec)

N/A 0.819 0.319 4.997 0.199 0.298 0.000 0.315 17.994

Problem 437

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

169 156 120 148 181 170 0 367 260

N.S.

1 0.92 0.71 0.88 1.07 1.01 0.00 2.17 1.54

time (sec)

N/A 0.888 0.570 4.909 0.249 0.278 0.000 0.355 17.674

Problem 438

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

247 223 181 176 192 171 495 197 476

N.S.

1 0.90 0.73 0.71 0.78 0.69 2.00 0.80 1.93

time (sec)

N/A 1.219 0.709 5.947 0.201 0.275 0.519 0.313 15.709

Problem 439

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

235 246 156 153 170 150 459 168 214

N.S.

1 1.05 0.66 0.65 0.72 0.64 1.95 0.71 0.91

time (sec)

N/A 0.927 0.623 4.313 0.186 0.264 0.391 0.318 14.464

Problem 440

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

170 183 133 125 133 121 301 134 363

N.S.

1 1.08 0.78 0.74 0.78 0.71 1.77 0.79 2.14

time (sec)

N/A 0.649 0.607 3.735 0.201 0.280 0.274 0.301 15.577

Problem 441

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 145 104 101 111 96 240 107 123

N.S.

1 1.06 0.76 0.74 0.81 0.70 1.75 0.78 0.90

time (sec)

N/A 0.485 0.353 2.433 0.195 0.266 0.195 0.285 14.748

Problem 442

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 110 128 98 95 98 0 212 158

N.S.

1 1.03 1.20 0.92 0.89 0.92 0.00 1.98 1.48

time (sec)

N/A 0.830 0.553 2.617 0.200 0.276 0.000 0.316 14.752

Problem 443

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 116 119 87 90 116 0 170 150

N.S.

1 1.02 1.04 0.76 0.79 1.02 0.00 1.49 1.32

time (sec)

N/A 0.804 0.889 2.476 0.192 0.263 0.000 0.308 14.551

Problem 444

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 108 174 96 115 130 0 177 152

N.S.

1 1.00 1.61 0.89 1.06 1.20 0.00 1.64 1.41

time (sec)

N/A 0.827 2.001 3.341 0.182 0.276 0.000 0.337 14.529

Problem 445

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 118 77 109 125 138 0 221 185

N.S.

1 1.03 0.67 0.95 1.09 1.20 0.00 1.92 1.61

time (sec)

N/A 0.842 0.231 4.248 0.191 0.269 0.000 0.337 14.883

Problem 446

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 165 101 147 187 163 0 360 245

N.S.

1 1.07 0.66 0.95 1.21 1.06 0.00 2.34 1.59

time (sec)

N/A 1.047 0.344 4.676 0.214 0.272 0.000 0.337 18.016

Problem 447

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

188 183 125 162 195 182 0 461 304

N.S.

1 0.97 0.66 0.86 1.04 0.97 0.00 2.45 1.62

time (sec)

N/A 1.178 0.503 6.155 0.209 0.261 0.000 0.327 18.752

Problem 448

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

222 206 154 209 275 217 0 592 370

N.S.

1 0.93 0.69 0.94 1.24 0.98 0.00 2.67 1.67

time (sec)

N/A 1.273 0.654 6.021 0.195 0.279 0.000 0.363 18.890

Problem 449

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

193 218 153 256 0 479 0 393 474

N.S.

1 1.13 0.79 1.33 0.00 2.48 0.00 2.04 2.46

time (sec)

N/A 1.262 0.633 1.319 0.000 0.307 0.000 0.292 15.665

Problem 450

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 165 122 179 0 400 0 249 203

N.S.

1 1.11 0.82 1.21 0.00 2.70 0.00 1.68 1.37

time (sec)

N/A 0.851 0.398 1.176 0.000 0.292 0.000 0.299 15.341

Problem 451

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 120 97 138 0 334 0 177 168

N.S.

1 1.09 0.88 1.25 0.00 3.04 0.00 1.61 1.53

time (sec)

N/A 0.574 0.302 1.179 0.000 0.284 0.000 0.297 15.565

Problem 452

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 79 72 97 0 269 1744 126 190

N.S.

1 1.04 0.95 1.28 0.00 3.54 22.95 1.66 2.50

time (sec)

N/A 0.388 0.204 0.980 0.000 0.281 65.916 0.283 14.407

Problem 453

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 59 58 65 0 223 320 240 99

N.S.

1 1.00 0.98 1.10 0.00 3.78 5.42 4.07 1.68

time (sec)

N/A 0.278 0.090 0.835 0.000 0.286 12.669 0.301 14.596

Problem 454

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 48 44 0 175 172 78 43

N.S.

1 1.00 0.98 0.90 0.00 3.57 3.51 1.59 0.88

time (sec)

N/A 0.205 0.024 0.891 0.000 0.282 1.983 0.309 14.513

Problem 455

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 102 83 0 278 0 119 99

N.S.

1 1.00 1.50 1.22 0.00 4.09 0.00 1.75 1.46

time (sec)

N/A 0.344 0.199 0.941 0.000 0.316 0.000 0.291 15.068

Problem 456

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 88 115 123 0 382 0 153 324

N.S.

1 1.04 1.35 1.45 0.00 4.49 0.00 1.80 3.81

time (sec)

N/A 0.468 0.455 1.231 0.000 0.312 0.000 0.317 14.723

Problem 457

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 130 238 192 0 459 0 211 1087

N.S.

1 1.09 2.00 1.61 0.00 3.86 0.00 1.77 9.13

time (sec)

N/A 0.790 0.942 1.579 0.000 0.372 0.000 0.315 15.792

Problem 458

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 174 258 252 0 535 0 286 991

N.S.

1 1.11 1.64 1.61 0.00 3.41 0.00 1.82 6.31

time (sec)

N/A 1.122 1.826 1.529 0.000 0.402 0.000 0.337 17.283

Problem 459

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

266 276 176 257 0 747 0 333 3852

N.S.

1 1.04 0.66 0.97 0.00 2.81 0.00 1.25 14.48

time (sec)

N/A 1.550 0.907 1.523 0.000 0.316 0.000 0.311 22.001

Problem 460

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

166 225 144 218 0 651 0 262 3751

N.S.

1 1.36 0.87 1.31 0.00 3.92 0.00 1.58 22.60

time (sec)

N/A 1.085 0.721 1.565 0.000 0.330 0.000 0.310 21.497

Problem 461

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 176 113 178 0 554 0 847 3180

N.S.

1 1.14 0.73 1.15 0.00 3.57 0.00 5.46 20.52

time (sec)

N/A 0.737 0.637 1.199 0.000 0.310 0.000 0.372 20.653

Problem 462

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 133 103 143 0 470 0 175 2872

N.S.

1 1.23 0.95 1.32 0.00 4.35 0.00 1.62 26.59

time (sec)

N/A 0.512 0.403 0.999 0.000 0.295 0.000 0.315 20.892

Problem 463

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 96 83 114 0 321 0 135 99

N.S.

1 1.13 0.98 1.34 0.00 3.78 0.00 1.59 1.16

time (sec)

N/A 0.325 0.265 0.959 0.000 0.273 0.000 0.311 15.171

Problem 464

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 97 84 114 0 320 2470 135 99

N.S.

1 1.13 0.98 1.33 0.00 3.72 28.72 1.57 1.15

time (sec)

N/A 0.313 0.171 0.829 0.000 0.280 34.660 0.293 14.363

Problem 465

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 143 146 164 0 592 0 198 2886

N.S.

1 1.21 1.24 1.39 0.00 5.02 0.00 1.68 24.46

time (sec)

N/A 0.646 0.400 1.490 0.000 0.466 0.000 0.311 20.080

Problem 466

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 175 163 205 0 750 0 332 3176

N.S.

1 1.13 1.05 1.32 0.00 4.84 0.00 2.14 20.49

time (sec)

N/A 0.955 0.857 1.734 0.000 0.473 0.000 0.327 20.860

Problem 467

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

217 228 285 273 0 899 0 293 3699

N.S.

1 1.05 1.31 1.26 0.00 4.14 0.00 1.35 17.05

time (sec)

N/A 1.410 3.814 1.826 0.000 0.712 0.000 0.316 21.327

Problem 468

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

270 277 499 330 0 1001 0 368 3843

N.S.

1 1.03 1.85 1.22 0.00 3.71 0.00 1.36 14.23

time (sec)

N/A 1.879 6.481 2.063 0.000 0.660 0.000 0.341 21.276

Problem 469

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

300 325 199 306 0 1161 0 1735 5962

N.S.

1 1.08 0.66 1.02 0.00 3.87 0.00 5.78 19.87

time (sec)

N/A 1.687 1.613 1.881 0.000 0.346 0.000 0.500 22.974

Problem 470

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

221 258 177 266 0 1029 0 354 5350

N.S.

1 1.17 0.80 1.20 0.00 4.66 0.00 1.60 24.21

time (sec)

N/A 1.186 1.223 1.385 0.000 0.341 0.000 0.321 21.552

Problem 471

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

179 224 149 233 0 913 0 319 5102

N.S.

1 1.25 0.83 1.30 0.00 5.10 0.00 1.78 28.50

time (sec)

N/A 0.821 0.945 1.443 0.000 0.314 0.000 0.322 23.091

Problem 472

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 175 115 180 0 587 0 250 203

N.S.

1 1.17 0.77 1.21 0.00 3.94 0.00 1.68 1.36

time (sec)

N/A 0.544 0.546 1.157 0.000 0.285 0.000 0.317 17.064

Problem 473

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 159 115 191 0 555 0 271 207

N.S.

1 1.19 0.86 1.43 0.00 4.14 0.00 2.02 1.54

time (sec)

N/A 0.489 0.347 1.081 0.000 0.293 0.000 0.317 16.757

Problem 474

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 159 113 182 0 585 0 251 203

N.S.

1 1.20 0.85 1.37 0.00 4.40 0.00 1.89 1.53

time (sec)

N/A 0.482 0.305 1.168 0.000 0.289 0.000 0.296 16.627

Problem 475

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

182 226 192 251 0 1142 0 344 5090

N.S.

1 1.24 1.05 1.38 0.00 6.27 0.00 1.89 27.97

time (sec)

N/A 1.055 0.948 1.669 0.000 0.800 0.000 0.316 23.975

Problem 476

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

232 268 205 292 0 1346 0 380 5347

N.S.

1 1.16 0.88 1.26 0.00 5.80 0.00 1.64 23.05

time (sec)

N/A 1.545 3.014 2.045 0.000 0.805 0.000 0.335 22.513

Problem 477

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

305 330 427 360 0 1524 0 801 5910

N.S.

1 1.08 1.40 1.18 0.00 5.00 0.00 2.63 19.38

time (sec)

N/A 2.085 6.522 2.439 0.000 1.470 0.000 0.348 23.246

Problem 478

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

307 364 240 395 0 1593 0 563 7494

N.S.

1 1.19 0.78 1.29 0.00 5.19 0.00 1.83 24.41

time (sec)

N/A 1.767 4.081 2.253 0.000 0.374 0.000 0.377 24.952

Problem 479

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

250 305 227 361 0 1445 0 531 7247

N.S.

1 1.22 0.91 1.44 0.00 5.78 0.00 2.12 28.99

time (sec)

N/A 1.232 2.034 1.749 0.000 0.355 0.000 0.354 27.411

Problem 480

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

222 267 158 281 0 893 0 399 378

N.S.

1 1.20 0.71 1.27 0.00 4.02 0.00 1.80 1.70

time (sec)

N/A 0.872 1.105 1.372 0.000 0.321 0.000 0.351 18.097

Problem 481

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

206 245 162 290 0 893 0 427 381

N.S.

1 1.19 0.79 1.41 0.00 4.33 0.00 2.07 1.85

time (sec)

N/A 0.804 1.024 1.385 0.000 0.309 0.000 0.328 18.372

Problem 482

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

192 233 164 293 0 891 0 427 382

N.S.

1 1.21 0.85 1.53 0.00 4.64 0.00 2.22 1.99

time (sec)

N/A 0.741 0.833 1.331 0.000 0.315 0.000 0.344 17.617

Problem 483

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

184 226 159 280 0 895 0 399 378

N.S.

1 1.23 0.86 1.52 0.00 4.86 0.00 2.17 2.05

time (sec)

N/A 0.710 0.673 1.230 0.000 0.310 0.000 0.312 18.194

Problem 484

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

251 315 274 379 0 1815 0 554 7235

N.S.

1 1.25 1.09 1.51 0.00 7.23 0.00 2.21 28.82

time (sec)

N/A 1.571 2.106 2.319 0.000 1.729 0.000 0.348 27.374

Problem 485

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

308 364 416 421 0 2048 0 587 7490

N.S.

1 1.18 1.35 1.37 0.00 6.65 0.00 1.91 24.32

time (sec)

N/A 2.224 6.575 2.624 0.000 1.686 0.000 0.378 23.520

Problem 486

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

264 278 214 827 0 474 0 0 0

N.S.

1 1.05 0.81 3.13 0.00 1.80 0.00 0.00 0.00

time (sec)

N/A 1.424 0.904 7.526 0.000 0.121 0.000 0.000 0.000

Problem 487

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

207 213 180 665 0 436 0 0 0

N.S.

1 1.03 0.87 3.21 0.00 2.11 0.00 0.00 0.00

time (sec)

N/A 1.029 0.666 6.686 0.000 0.108 0.000 0.000 0.000

Problem 488

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 163 137 452 0 398 0 0 0

N.S.

1 1.01 0.85 2.79 0.00 2.46 0.00 0.00 0.00

time (sec)

N/A 0.764 0.453 5.452 0.000 0.106 0.000 0.000 0.000

Problem 489

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 57 170 0 355 0 0 0

N.S.

1 1.00 1.00 2.98 0.00 6.23 0.00 0.00 0.00

time (sec)

N/A 0.286 0.035 3.005 0.000 0.098 0.000 0.000 0.000

Problem 490

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 118 81 194 0 0 0 0 0

N.S.

1 1.00 0.69 1.64 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.775 13.944 3.468 0.000 0.000 0.000 0.000 0.000

Problem 491

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

197 212 307 622 0 0 0 0 0

N.S.

1 1.08 1.56 3.16 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.657 14.873 4.964 0.000 0.000 0.000 0.000 0.000

Problem 492

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

262 269 393 977 0 0 0 0 0

N.S.

1 1.03 1.50 3.73 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.187 5.681 5.456 0.000 0.000 0.000 0.000 0.000

Problem 493

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

314 330 262 995 0 516 0 0 0

N.S.

1 1.05 0.83 3.17 0.00 1.64 0.00 0.00 0.00

time (sec)

N/A 1.715 1.057 8.671 0.000 0.152 0.000 0.000 0.000

Problem 494

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

258 266 214 827 0 474 0 0 0

N.S.

1 1.03 0.83 3.21 0.00 1.84 0.00 0.00 0.00

time (sec)

N/A 1.321 0.883 7.814 0.000 0.141 0.000 0.000 0.000

Problem 495

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

199 205 174 663 0 438 0 0 0

N.S.

1 1.03 0.87 3.33 0.00 2.20 0.00 0.00 0.00

time (sec)

N/A 1.016 0.614 6.557 0.000 0.135 0.000 0.000 0.000

Problem 496

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 158 134 450 0 398 0 0 0

N.S.

1 1.01 0.85 2.87 0.00 2.54 0.00 0.00 0.00

time (sec)

N/A 0.760 0.359 4.679 0.000 0.100 0.000 0.000 0.000

Problem 497

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

179 179 107 249 0 0 0 0 0

N.S.

1 1.00 0.60 1.39 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.167 26.932 4.426 0.000 0.000 0.000 0.000 0.000

Problem 498

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-1) F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

209 223 363 740 0 0 0 0 0

N.S.

1 1.07 1.74 3.54 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.753 16.283 5.118 0.000 0.000 0.000 0.000 0.000

Problem 499

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F F(-1) F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

255 272 386 980 0 0 0 0 0

N.S.

1 1.07 1.51 3.84 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.199 5.854 6.467 0.000 0.000 0.000 0.000 0.000

Problem 500

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

371 389 268 1140 0 561 0 0 0

N.S.

1 1.05 0.72 3.07 0.00 1.51 0.00 0.00 0.00

time (sec)

N/A 2.131 0.987 14.836 0.000 0.176 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]